Une Extension des Langages Déterministes
نویسنده
چکیده
— In this article, we define afamily of context free languages, the quasi deterministic languages, which is strictly inserted between the families of deterministic and non ambiguous context free languages. The family is closed under complement, intersection with a rational set, inverse homomorphism... On the contrary, it is not closed under mirror image but the languages the mirror image of which is quasideterministic, can be characterized. We also prove an itération theorem giving a necessary condition for a language to be quasideterministic.
منابع مشابه
Notions of Equivalence in Software Design
Les méthodes de conception dans des systèmes d'information créent souvent des descriptions de logiciel en utilisant des langages formels. Néanmoins, la plupart des concepteurs de logiciel préfèrent décrire le logiciel en utilisant des langages naturels. Cette distinction n'est pas simplement une question de pragmatisme. Les langages naturels ne sont pas identiques à des langages formels; en par...
متن کاملDeux Remarques sur un Théorème de S. Eilenberg
— We give hère a proof of the « cross section theorem » that is slightly différent from the original one. This allows us not only to show the existence of a rational cross section ofany rational set but also to describe such a cross section by means ofthe lexicographie ordering of the words. With some examples we also show that if we use the ordering ofwords by length, instead of the lexicograp...
متن کاملDes grammaires de graphes contextuelles qui charactérisent les langages contextuels
Deterministic graph grammars generate a family of infinite graphs which characterize context-free (word) languages. In this paper we presents a context-sensitive extension of these grammars. We achieve a characterization of context-sensitive (word) languages. We show that this characterization is not straightforward and that unless having some rigorous restrictions, contextual graph grammars ge...
متن کاملNondeterminism and Fully Abstract Models
— We study the semantics ofsome nondeterministic languages derivedfrom PCF [8]. In particular we discuss how Milner" s results in [5] can (or cannoi) be applied to obtain models,for our languages, which arefully abstract with respect to the (standard) operational semantics. Résumé. — Nous étudions ici la sémantique de quelques langages non déterministes, dérivés du PCF [8]. En particulier, nous...
متن کاملSPARQL Template : un langage de pretty printing pour RDF
RDF est un langage de représentation de connaissances basé sur des graphes étiquetés, conçu par le W3C pour le Web sémantique et le Web des données. En tant que langage d’échange pivot, il peut être utilisé pour représenter des arbres de syntaxe abstraite (AST) de langages. Par exemple le langage OWL a plusieurs syntaxes dont une syntaxe fonctionnelle et une syntaxe RDF, de même que le langage ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ITA
دوره 17 شماره
صفحات -
تاریخ انتشار 1983